(progn
 (and 1 2 3 3))
